一貫性 consistency
文脈によって定義いろいろだからちゃんと区別しないとなぁと思う
RDBMSの場合
不変条件 invariant
で表現できる
口座の残高は正である
ユーザーIDはasciiである
テーブルt2はt1の複製である
すべての部長は従業員である
...
RDBMS
一貫性制約 integrity constraint
キー制約 key constraint
状態変更の一貫性
t1にレコードが挿入されたらt2にもレコードが挿入される
トランザクション transaction
が一貫性の単位
一貫性と分離性
---.icon
一貫性への二つの要求
適時性 timeliness
最新のデータを観察できると保証すること
<->
結果整合性 eventual consistency
整合性 integrity
データ損失がなく矛盾や間違いがないこと
<-> 恒久的な非一貫性
安全性とライブ性
も参照
整合性違反の方が致命的